3.7.2 nesC Module Tutorial

3.7.2 nesC Module Tutorial

In this section, we use examples to illustrate how PAT can be used to faciliate the analysis, simulation and verification of NesC applications. PAT supports simulating and verifying both an individual sensor and a sensor network. We will illustrate both levels' analysis via

3.7.2.1 Individual Sensor Tutorial
- BlinkApp Example

3.7.2.2 Sensor Network Tutorial
- LeaderElection Protocol

Last but not least, there are also built-in examples in PAT distribution via "Examples -> NesC Examples". The source files of the examples can be found in PAT distribution via /PAT_Installation/Modules/NESC, where PAT_Installation is the folder where PAT is installed.